L'article couvre différents aspects de la vérification formelle, y compris les modèles formels, les spécifications formelles, et différentes techniques telles que la vérification de modèles, la démonstration de théorèmes et l'exécution symbolique.
1/29/2024, 7:10:46 AM